2

Hyperopt: a Python library for model selection and hyperparameter optimization

Year:
2015
Language:
english
File:
PDF, 772 KB
english, 2015
9

Program algebra for sequential code

Year:
2002
Language:
english
File:
PDF, 201 KB
english, 2002
12

Suitability of V1 Energy Models for Object Classification

Year:
2011
Language:
english
File:
PDF, 299 KB
english, 2011
14

Proposition algebra

Year:
2011
Language:
english
File:
PDF, 301 KB
english, 2011
21

Church-Rosser strategies in the lambda calculus

Year:
1979
Language:
english
File:
PDF, 1.17 MB
english, 1979
22

Hoare's logic for programming languages with two data types

Year:
1983
Language:
english
File:
PDF, 620 KB
english, 1983
23

Meadows and the equational specification of division

Year:
2009
Language:
english
File:
PDF, 604 KB
english, 2009
24

Kleene's three-valued logic and process algebra

Year:
1998
Language:
english
File:
PDF, 654 KB
english, 1998
25

On sequential composition, action prefixes and process prefix

Year:
1994
Language:
english
File:
PDF, 844 KB
english, 1994
26

Aggregate features and ADABOOSTfor music classification

Year:
2006
Language:
english
File:
PDF, 384 KB
english, 2006
28

Editor's Note

Year:
2014
Language:
english
File:
PDF, 102 KB
english, 2014
29

Degrees of Sensible Lambda Theories

Year:
1978
Language:
english
File:
PDF, 254 KB
english, 1978
30

The rational numbers as an abstract data type

Year:
2007
Language:
english
File:
PDF, 161 KB
english, 2007